Search results for Matt Kaufmann Blackwell's

Skip your Account's links

0 items

$0.00

Your basket
The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.
View basket
Your basket is empty
Delivery included on your order!
View basket

$6.44off
Computer-Aided Reasoning : ACL2...
Kaufmann, Matt

Paperback
Published 08 Dec 2010
Save $6.44
- RRP $246.08
- $239.64
In Stock
Add to basket
Computer-Aided Reasoning
Matt Kaufmann, Panag...

Hardback
Published 30 Jun 2000
- $250.21
In Stock
Add to basket
$16.25off
Interactive Theorem Proving
ITP (Conference), Ma...

Paperback
Published 30 Jun 2010
Save $16.25
- RRP $123.03
- $106.78
In Stock
Add to basket
Computer-Aided Reasoning

Matt Kaufmann, Panag...

Paperback
Published 12 Oct 2012

Notify me
Computer-Aided Reasoning

Matt Kaufmann, Panag...

Hardback
Published 31 Jul 2000

Notify me
Computer-Aided Reasoning

Matt Kaufmann (edito...

Book
Published 30 Jun 2000

Notify me